Live Music
Archive
Librivox
Free Audio
Metropolitan Museum
Cleveland
Museum of Art
Internet
Arcade
Console Living Room
Open Library
American
Libraries
TV News
Understanding
9/11Mathematical logic
Bookreader Item Preview
Share or Embed This Item
xiii, 398 pages : 24 cm
Part 1 of the present book gives quite a through, yet elementary, treatment of mathematical logic of first order. Part 2 of the book is intended to supplement Part 1 by providing greater depth of understanding of Part 1 and an introduction to some of the newer ideas and more profound results of logical research in the present century
Propositional calculus -- Predicate calculus -- Predicate calculus with equality -- Foundations of mathematics -- Computability and decidability -- Predicate calculus (additional topics)
Includes bibliographical references (pages 371-386)
Part 1 of the present book gives quite a through, yet elementary, treatment of mathematical logic of first order. Part 2 of the book is intended to supplement Part 1 by providing greater depth of understanding of Part 1 and an introduction to some of the newer ideas and more profound results of logical research in the present century
Propositional calculus -- Predicate calculus -- Predicate calculus with equality -- Foundations of mathematics -- Computability and decidability -- Predicate calculus (additional topics)
Includes bibliographical references (pages 371-386)
- Access-restricted-item
- true
- Addeddate
- 2022-07-25 17:01:21
- Autocrop_version
- 0.0.14_books-20220331-0.2
- Bookplateleaf
- 0010
- Boxid
- IA40606614
- Camera
- Sony Alpha-A6300 (Control)
- External-identifier
-
urn:lcp:mathematicallogi0000klee:lcpdf:25637015-8a00-4d21-9cb3-cd4dcd70c793
urn:lcp:mathematicallogi0000klee:epub:1d73ae9a-38fe-42f2-a267-a6779ec7e006
urn:oclc:record:1345626538![[WorldCat (this item)]](/images/worldcat-small.png "[WorldCat (this item)]")
- Foldoutcount
- 0
- Identifier
- mathematicallogi0000klee
- Identifier-ark
- ark:/13960/s2kfn2sw6w6
- Invoice
- 1652
- Isbn
-
0471490334
9780471490333
